type A = (string => boolean) => number
